Filters and SUpports in Orthoalgebras

An ortho器1gebra, which is a natural generalization of an orthomodular I器ttice or po制, may be 咐附d 在s a "Iogic" or "proposition system" and, under a well精 defined set of circumstan仅锐地 element嚣 may be cJassified 在ccording to the Aristotelian modalities: 独优岱sary, impossibJe, possible, and con阳嚣~nt. The g附ssary pro韵。sitions 恼nd together to form a I侃辑1 filter, that i章. a set t如at inter脱15 every 源。olean subalgebra in 毒草lter. In this paper, we give a coherent account of the b明c theory of orthoal嚣ebras, define and 翠tudy filter罩, loca1 filters, 器nd 能附iated structures,皿d prove a version of t挝 comp副ness thωrem in classical algebraic logic.